#ConTest properties written for run ID 1216834757425
#Wed Jul 23 12:39:17 CDT 2008
enable_keyboard_callback=false
includeTasks=
basicBlockCoverage=true
last_values_size=2
callback_port_number=0
orange_box=true
beginAtValue=someString
enable_port_callback=false
haltOneThread=false
nonVarNoise=false
noiseFrequency=47
excludeCoveredTasks=false
writeAllTasks=false
excludeTasks=
datagramFaultInjectionFrequency=100
noiseType=synchYields
sourceDirs=.
timeoutTampering=false
lockDiscipline=true
shared=all
random=false
seed=-2915661279689611817
datagramFaultInjectionDirection=both
output=.
synchronizationCoverage=true
methodCoverage=true
forgetting_orange_box=true
datagramFaultInjectionMode=random-conservative
threadLocation=true
sharedVarCoverage=true
sharedVarNoise=false
replay=false
datagramLengthBound=10000
strength=1
concurrentEventPairsCoverage=false
beginAtType=off
buffer_size=1024
lockStatus=true
collectShared=false
keepBackup=true
targetClasses=com/om
lockHistory=false
